monadic rewiting system